logical implication

英 [ˈlɒdʒɪkl ˌɪmplɪˈkeɪʃn]

美 [ˈlɑːdʒɪkl ˌɪmplɪˈkeɪʃn]

网络  逻辑意涵; 逻辑隐含式; 逻辑蕴涵式; 逻辑蕴含; 逻辑蕴涵

英英释义

noun

• a logical relation between propositions p and q of the form `if p then q'
  Synonym:implicationconditional relation

双语例句

• Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
  实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
• Logical context is helpful in context reasoning, rhetorical context is helpful in understanding implication;
  逻辑语境帮助完成语境推理，修辞语境帮助理解言外之意；有对言外之意需逻辑语境与修辞语境共同参与。
• Research on logical implication for XML based on DTD path coding
  基于DTD路径编码的XML逻辑蕴涵问题研究
• With the development of logical science, the implication paradox will eventually be eliminated.
  随着逻辑科学的发展，蕴涵怪论最终将被消除。
• Due to complicacy of DTD, it is difficult to study the logical implication of XFD.
  由于DTD的复杂性，使得XFD的逻辑蕴涵问题研究比较困难。
• The Dual Principal-Agent Theory: Logical Starting Point, Theoretical Model and Governance Implication
  双重委托代理结构：逻辑起点、理论模型与治理要义
• By using the method of literature and logical analysis, this article analyzes the implication of conductor effect of Olympic economy, basic path and role.
  采用文献综述和逻辑分析的方法，分析了奥运经济的传导效应含义、基本路径、作用等问题。
• This paper points out that: In natural language fluent, the reasoning type of "ruguo" and "rugu-oshuo" is different: the former emphasizes on the logical reasoning which indicates material implication, and the latter emphasizes on the metaphor reasoning.
  文章提出以下一些观点：自然语流中，如果句式与如果说句式在推理类型上有所侧重，前者重在表示逻辑推理，后者重在表示隐喻推理；
• XML function dependency, logical implication are the foundation of the further research on XML key and XML normalization theory.
  XML函数依赖、逻辑蕴涵是进一步研究XML键和XML规范化理论的基础。
• Logical implication of set of FDs for XML
  XML函数依赖集的逻辑蕴含